#include <user.h>
#include <bwio.h>

void NameServer();
void ClockServer();

void UserInit() {
  Create(8, &NameServer);
  Create(8, &ClockServer);

  while (ParamTest(0x12, 0x34, 0x56, 0x78, 0x9A) == 0xFF) {}
  Exit();
}
